1

Algebraic implementations preserve program correctness

Year:
1986
Language:
english
File:
PDF, 1.15 MB
english, 1986
3

On hierarchies of abstract data types

Year:
1983
Language:
english
File:
PDF, 1.68 MB
english, 1983
4

Nondeterministic three-valued logic: Isotonic and guarded truth-functions

Year:
1983
Language:
english
File:
PDF, 1.46 MB
english, 1983
27

Nondeterministic Three-Valued Logic: Isotonic and Guarded Truth-Functions

Year:
1983
Language:
english
File:
PDF, 2.63 MB
english, 1983